Maurer computers for pipelined instruction processing
نویسندگان
چکیده
منابع مشابه
Maurer computers for pipelined instruction processing
Maurer computers for pipelined instruction processing† J. A. BERGSTRA‡ and C. A. MIDDELBURG§ ‡Programming Research Group, University of Amsterdam, P.O. Box 41882, 1009 DB Amsterdam, the Netherlands and Department of Philosophy, Utrecht University, P.O. Box 80126, 3508 TC Utrecht, the Netherlands Email: [email protected] §Programming Research Group, University of Amsterdam, P.O. Box 41882, 100...
متن کاملMaurer Computers with Single-Thread Control
We present the development of a theory of stored threads and their execution. The work builds upon Maurer’s theory of computer instructions and the thread algebra of Bergstra et al. The theory being developed is primarily relevant to the design of new processor architectures. We also relate Maurer’s model for computers with Turing machines, and stored threads with programs as considered in the ...
متن کاملPipelined Decomposable BSP Computers
The class of weak parallel machines is interesting, because it contains some realistic parallel machine models, especially suitable for pipelined computations. We prove that a modification of the bulk synchronous parallel (BSP) machine model, called decomposable BSP (dBSP), belongs to the class of weak parallel machines if restricted properly. We will also correct some earlier results about pip...
متن کاملInstruction Level Energy Modeling for Pipelined Processors
A new method for creating instruction level energy models for pipelined processors is introduced. This method is based on measuring the instantaneous current drawn by the processor during the execution of the instructions. An appropriate instrumentation set up was established for this purpose. According to the proposed method the energy costs (base and inter-instruction costs) are modeled in re...
متن کاملOn Transformations of Load-Store Maurer Instruction Set Architectures
Maurer proposes a model for computers from the viewpoint of general function and set theory in [W.D66, W.D06]. Mathematical machines (Turing machines, push-down automata, etc.) are widely known for their inadequate representation of modern computers, but Maurer’s model gives a leading solution. Maurer machines [JC07a], introduced by Bergstra and Middelburg, are based on this model and basic thr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Structures in Computer Science
سال: 2007
ISSN: 0960-1295,1469-8072
DOI: 10.1017/s0960129507006548